Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 2 of 2 for:
crypto
1
laura mckinney
1 ?
 21,213,375 websites (safe search)

  1. Galois: Home

    The Galois mission is to create trustworthiness in critical systems. To that end, Galois develops high assurance software for demanding applications.
    FPGA2
    TSE1
    crypto1
    software security1
    haskell1
    MILS1
    software assurance1
    secure software1
    secure collaboration1
    galois1
    signali1
    cross-domain1
    high assurance1
    doc server1
    high assurance software1
    cryptol1
    docserver1
    dependable software1
    doc-server1
    galois beaverton1
    galois oregon1
    galois portland1
    John Launchbury1
    Laura McKinney1
    multi-level security1
    secure mashups1
    secure mash ups1
    secure mash-ups1
    software security assurance1
    trusted services engine1
    type 1 crypto1

    galois.com - 2009-03-07

  2. Galois: cryptol

    The Galois mission is to create trustworthiness in critical systems. To that end, Galois develops high assurance software for demanding applications.
    FPGA2
    TSE1
    crypto1
    software security1
    haskell1
    MILS1
    software assurance1
    secure software1
    secure collaboration1
    galois1
    signali1
    cross-domain1
    high assurance1
    doc server1
    high assurance software1
    cryptol1
    docserver1
    dependable software1
    doc-server1
    galois beaverton1
    galois oregon1
    galois portland1
    John Launchbury1
    Laura McKinney1
    multi-level security1
    secure mashups1
    secure mash ups1
    secure mash-ups1
    software security assurance1
    trusted services engine1
    type 1 crypto1

    www.cryptol.net - 2009-02-14

encryption2 hall2 multi-level security1 cryptography1 alarm2 cctv3 access control2 process3 authentication2 secure collaboration1 security4 plm specialists1 beratung4 product artifact protection1 mils1 tirol2

About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.